Verification Oriented Process Ontology

Use Case: Ontology to Support System Verification Process

VPlan - Ontology for Collection of Process Verification Data

The reproducibility of modern research depends on the possibility to faithfully rerun the complex and distributed data transformation processes which were executed by scientists in order to make new scientific breakthroughs. New methods and frameworks try to address this problem by collecting evidence used for verification of such experiments. However, there is still a lack of a flexible data m...

Ontology Verification Using Contexts

Ontologies have become the de-facto modeling tool of choice, used in a variety of applications and prominently in the Semantic Web. Their design and maintenance, nevertheless, have been and still are a daunting task. As a result, ontologies quickly become underspecified. Therefore, if ontologies do not evolve, the semantic infrastructure of the information system can no longer support the chang...

Crowdsourcing Ontology Verification

Biomedical ontologies are becoming increasingly large and complex. A single user cannot easily develop or maintain them. Researchers have developed various automated techniques to assist with ontology development and engineering at scale. However, these solutions are not always complete. Microtask crowdsourcing, wherein workers are paid small amounts to complete simple, short tasks, may be one ...

Ontology Verification with Repositories

In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of representation theorems and classification theorems to characterize the models of an ontology, and then show how such results can be obtained from notions such as relative interpretation.